#include <halinit.h>
#include <krlinit.h>

/*********************************************************************************
 * 
 * os_start - 内核启动 (初始化硬件平台和内核)
 * 
 * DESCRIPTION
 */

LKHEAD_T void os_start (void)
    {

    /* hardware init */
    hal_init ();

    /* kernel init */

    krl_init ();

    return;
    }